\section{Ссылки}

\begin{itemize}
  \item На уровне выражений:
     \begin{enumerate}
        \item \llang{\&$x$}, где $x\in X$;
        \item \llang{*$e$}, где $e$ --- выражение.
     \end{enumerate}
  \item На уровне операторов: $\llang{*$e_1$:=$e_2$}$ 
\end{itemize}

Модификация семантики:

\begin{itemize}
  \item Множество значений: ${\cal V}=\ZZ\cup X$;
  \item Состояние: $S=X\to{\cal V}$.
\end{itemize}

Семантика выражений: 

$$
\sembr{\bullet}:{\cal E}\to(S\to{\cal V})
$$

Новые правила:

$$
\sembr{\llang{&$x$}}=\lambda s.x
$$

$$
\sembr{\llang{*$e$}}=\lambda s.s\;(\sembr{e}\;s)
$$

Правило для нового оператора:

$$
\trans{\inbr{s,i,o}}{\llang{*$e_1$:=$e_2$}}{\inbr{s[\sembr{e_1}\;s\gets\sembr{e_2}\;s],i,o}}
$$
